Set-based pre-processing for points-to analysis
نویسندگان
چکیده
منابع مشابه
Analysis of Pre-processing and Post-processing Methods and Using Data Mining to Diagnose Heart Diseases
Today, a great deal of data is generated in the medical field. Acquiring useful knowledge from this raw data requires data processing and detection of meaningful patterns and this objective can be achieved through data mining. Using data mining to diagnose and prognose heart diseases has become one of the areas of interest for researchers in recent years. In this study, the literature on the ap...
متن کاملTwo GUIs-based analysis tool for spectroradiometer data pre-processing
A new graphical user interface (GUI) for preprocessing reflectance spectra, built using MATLAB and expressly designed for the ASD FieldSpec® spectroradiometer, was developed to solve problems that generally affect experimental ASD data. The GUI is characterised by an easily readable, graphic visualisation of spectra, from which the absorption band depth (ABD) can be obtained for a selected wave...
متن کاملFlow - Insensitive Points - to Analysis with Term and Set Constraints
We describe new type systems for two kinds of ow-insensitive points-to analyses, one based on Andersen's algorithm and one based on Steensgaard's. The type systems are formulated using a mixed constraint framework. These systems can be seen as a straightforward axiomatization of an informal description of the algorithms, and we show this formally by proving soundness with respect to an operatio...
متن کاملCollaboratively Regularized Nearest Points for Set Based Recognition
Set based recognition (i.e, using a set of instances together for recognition) has been attracting more and more attention in recent years, benefitting from two facts: the difficulty of collecting sets of images for recognition fades quickly, and set based recognition models generally outperform the ones for single instance based recognition. In the past few years various approaches have been p...
متن کاملGeneralizing the Liveness Based Points-to Analysis
The original liveness based flow and context sensitive points-to analysis (LFCPA) is restricted to scalar pointer variables and scalar pointees on stack and static memory. In this paper, we extend it to support heap memory and pointer expressions involving structures, unions, arrays, and pointer arithmetic. The key idea behind these extensions involves constructing bounded names for locations i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2013
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2544173.2509524